<?php
	$root = $_SERVER['DOCUMENT_ROOT'];
	include($root . "/util/config.php");
	include($root . "/util/session.php");//checks that the user is logged in
	include($root . "/util/privilege_check.php");
	checkPrivilege("admin");

	$username=$_SESSION['login_user'];
	$sql_query="select full_name from user_info where login = '$username'";
	$result=mysqli_query($db,$sql_query);
	$res_arr=mysqli_fetch_array($result,MYSQLI_ASSOC);
	$full_name=$res_arr["full_name"];
	echo "welcome, $full_name";
?>
<html>
	<head>
		<title>Admin Menu</title>
	</head>
	<body>
		<div id="menu">
			<ul>
				<li><a href="/admin/useradd.php">Add a new user</a></li>
			</ul>
		</div>
	</body>
</html>
